Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
181	A composition theorem for decision tree complexity Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2014-07-17 09:51:22 Computational complexity theory Decision tree model Theory of computation Communication complexity Convolution theorem Mathematics Theoretical computer science Mathematical analysis
182	Almost all decision trees do not allow significant quantum speed-up Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2012-12-14 16:07:15 Models of computation Decision tree model Binary trees Quantum algorithm PP Randomized algorithm Quantum computer Random binary tree Switching lemma Theoretical computer science Applied mathematics Computational complexity theory
183	(P)NFG: A LANGUAGE AND RUNTIME SYSTEM FOR STRUCTURED COMPUTER NARRATIVES Christopher J.F. Pickett Clark Verbrugge F´elix Martineau School of Computer Science, McGill University Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2005-08-08 06:59:50 Diagrams Freeware NuSMV Models of computation Petri net Model checking Inform Hugo Binary decision diagram Software Interactive fiction Computing
184	A Master Level Course on Modeling Self-Adaptive Systems with Graph Transformations Matthias Tichy Organic Computing, Department of Computer Science University of Augsburg, Augsburg, Germany Add to Reading List Source URL: www.fujaba.de Language: English - Date: 2011-11-08 14:36:26 Diagrams Software engineering Knowledge Models of computation Systems theory Graph rewriting Unified Modeling Language Agent-based model System Science Cybernetics Scientific modeling
185	On complexity of the quantum Ising model Sergey Bravyi∗ Matthew Hastings† Abstract Add to Reading List Source URL: www.quantum-lab.org Language: English - Date: 2014-11-28 23:30:58 Applied mathematics Adiabatic quantum computation QMA Quantum computer Quantum annealing Perturbation theory Quantum field theory Continuous quantum computation Theoretical computer science Physics Quantum mechanics
186	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) VeriTech - A Framework for Translating among Model Description Notations Orna Grumberg and Shmuel Katz Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2005-11-29 05:50:59 Electronic engineering Formal methods Predicate logic Hardware description languages Construction and Analysis of Distributed Processes Formal verification State transition system Model checking Petri net Models of computation Theoretical computer science Concurrency
187	A Scalable Probabilistic Classifier for Language Modeling Joel Lang Institute for Language, Cognition and Computation School of Informatics, University of Edinburgh 10 Crichton Street, Edinburgh EH8 9AB, UK Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2011-05-20 16:12:48 Bayesian statistics Machine learning N-gram Maximum likelihood Hidden Markov model Principle of maximum entropy Training set Perceptron Entropy Statistics Probability and statistics Statistical theory
188	SOFTWARE – PRACTICE AND EXPERIENCE Softw. Pract. ExperPublished online in Wiley Online Library (wileyonlinelibrary.com). DOI: spe.2156 An environment for modeling and simulation of message-passing para Add to Reading List Source URL: www.cloudbus.org Language: English - Date: 2013-09-27 02:50:37 Computer architecture Models of computation Cloud computing Scheduling VM Computer cluster Packet switching Actor model Communications protocol Computing Concurrent computing Parallel computing
189	A Na¨ıve Evaluation of Queries over Incomplete Databases ´ AMELIE GHEERBRANT, LIAFA (Universit´e Paris Diderot - Paris 7 & CNRS) LEONID LIBKIN, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-09-04 14:06:26 Model theory Relational model Query languages Models of computation FO Finite model theory Null Kripke semantics SQL Logic Mathematical logic Mathematics
190	Middlesex University Research Repository An open access repository of Middlesex University research http://eprints.mdx.ac.uk Berger, Martin and Tratt, LaurenceProgram logics for Add to Reading List Source URL: eprints.mdx.ac.uk Language: English - Date: 2015-04-30 10:24:49 Proof theory Logic in computer science Models of computation Curry–Howard correspondence Philosophy of computer science Type theory Lambda calculus Model theory Modal logic Logic Theoretical computer science Mathematical logic